いちたいいちたいおう

いちたいいちたいおう【一対一対応】

〔数〕 集合 M から集合 N への写像 f で， M の任意の相異なる要素が f によって N の相異なる要素に対応し， N の任意の要素は M のある要素の像となっているとき， f を M から N への一対一対応という。 全単射。